منابع مشابه
Correction to Abstract Class Formations by K. Grant and G. Whaples
1. A. Borel and Harish-Chandra, Arithmetic subgroups of algebraic groups, Bull. Amer. Math. Soc. 67 (1961), 579-583. 2. , Arithmetic subgroups of algebraic groups, Ann. of Math. (2) 75 (1962), 485-535. 3. Harish-Chandra, On the characters of a semisimple Lie group, Bull. Amer. Math. Soc. 61 (1955), 389-396. 4. , Differential operators on a semisimple Lie algebra, Amer. J. Math. 79 (1957), 87-12...
متن کاملGeneralized class formations and higher class field theory
Kato established higher local reciprocity map (see section 5 and [K1, Th. 2 of §6] (two-dimensional case), [K2, Th. II], [K3, §4]) using in particular this theorem. In this section we deduce the reciprocity map for higher local fields from this theorem and Bloch–Kato’s theorem of section 4. Our approach which uses generalized class formations simplifies Kato’s original argument. We use the nota...
متن کاملThe Abstract Class Pattern
CLASS Class Behavioral Intent Define the interface for a hierarchy of classes while deferring the implementation to subclasses. Abstract Class lets subclasses redefine the implementation of an interface while preserving the polymorphism of those classes. Also Known As Liskov Substitution Principle [LW93], Design by Contract [Meyer91], Base Class [Auer95] , Template Class [Woolf97] Motivation Co...
متن کاملSemantic Class Hierarchies by Abstract Interpretation
A generic semantic-based framework is presented for the definition and manipulation of class hierarchies for object-oriented languages. The framework is based on the notion of observable of a class, i.e. an abstraction of its semantics when focussing on a behavioral property of interest. By exploiting such a notion, we define the semantic subclass relation, capturing the fact that a subclass pr...
متن کاملClocks as First Class Abstract Types
Clocks in synchronous data-flow languages are the natural way to define several time scales in reactive systems. They play a fundamental role during the specification of the system and are largely used in the compilation process to generate efficient sequential code. Based on the formulation of clocks as dependent types, the paper presents a simpler clock calculus reminiscent to ML type systems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1961
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1961-10636-8